package org.cyberz.jsm;

import java.lang.annotation.ElementType;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;

/*
 * An annotation representing a transition table.
 * 
 * @author Andrea Leofreddi
 */
@Retention(RetentionPolicy.RUNTIME)
@Target(ElementType.TYPE)
public @interface FsmTransitionTable {
	FsmTransition[] value();
}
